residue field

剩余域